A discrete event systems modeling formalism based on event occurrence rules and precedences
نویسندگان
چکیده
منابع مشابه
A discrete event systems modeling formalism based on event occurrence rules and precedences
The analysis (verification, diagnosis, control, etc.) of discrete event systems requires a correct model of the system and of its specifications. In this paper, we present a new modeling formalism for generating valid models of complex systems. The class of systems this applies to is one which consists of signals that take binary values. The technique presented here makes the task of modeling c...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملmodeling and evaluation of stochastic discrete-event systems with raylang formalism
in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by...
متن کاملmodeling and evaluation of stochastic discrete-event systems with raylang formalism
in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Robotics and Automation
سال: 2001
ISSN: 1042-296X
DOI: 10.1109/70.975991